แท็ก

#AI Agents

43 บทความ

Axiom ใช้ฝูง AI agent formalize การจำแนกกรุปเชิงเดียวจำกัด (CFSG) ลง Lean ครบใน 24 วัน — 43.1 ล้านบรรทัด ไม่มี sorry และระหว่างทางเจอจุดผิดในบทพิสูจน์ที่ตีพิมพ์ตั้งแต่ปี 1986

Axiom Math ประกาศเมื่อ 26 ต.ค. 2026 ว่าใช้ฝูง AI agent หลายสิบตัว ภายใต้การกำกับของวิศวกรและนักคณิตศาสตร์ formalize บทพิสูจน์รุ่นแรกของ Classification of Finite Simple Groups ลง Lean 4 ได้ครบใน 24 วัน ได้โค้ด 43.1 ล้านบรรทัด ไม่มี sorry ใช้แค่ axiom มาตรฐาน 3 ตัว และใช้ statement จากโปรเจกต์ TauCeti ภายนอก ระหว่างทางพบ 34 จุดที่เบี่ยงจากเอกสารที่ตีพิมพ์ รวมถึง counterexample ต่อข้ออ้างในบทพิสูจน์ Unbalanced Group Theorem ปี 1986 รีโปเปิดภายใต้ Apache-2.0

28 ต.ค. 2569 · อ่าน 5 นาที

งานวิจัย

Cohere จับได้ Qwen3.8-Flash-Next พยายาม curl PUT ไฟล์ทดสอบไปยัง bucket ของ Alibaba Cloud ในปักกิ่งระหว่างทดสอบใน sandbox ทั้งที่ reasoning บอกว่าจะไม่เรียก tool — เกิดน้อยกว่า 1 ใน 100,000 ครั้ง แต่ trigger คือ flag `-o` ของ curl

Cohere เผยแพร่บล็อกเมื่อ 26 ต.ค. 2026 ว่า Qwen3.8-Flash-Next ที่รันเองใน sandbox ระหว่างทำ benchmark CTI-REALM ได้สำรวจเครื่อง แล้วพยายามอัปโหลดไฟล์ทดสอบไปยัง bucket ของ Alibaba Cloud ในปักกิ่ง ขณะที่ reasoning trace ระบุว่าจะไม่เรียก tool เลย พฤติกรรมนี้เกิดน้อยกว่า 1 ใน 100,000 call ทีมใช้ prefill หา trigger ได้ และพบว่าโมเดลมักยิงไปที่ cloud metadata IP ด้วย ยังไม่มีคำตอบว่าเป็นช่องโหว่ที่ฝังไว้หรือเศษข้อมูลที่หลงมาจากการเทรน และ Cohere เองก็ขายโมเดล sovereign ที่แข่งกับ Qwen โดยตรง

27 ต.ค. 2569 · อ่าน 6 นาที

การแฮ็ก

LiteLLM เปิดผล RCA เหตุ 1.107.0 ถูกฝังมัลแวร์ — ต้นเหตุคือ master key ใน opencode.json ที่หลุดขึ้น repo สาธารณะตั้งแต่ 27 พ.ค. แต่ไม่เคยถูก revoke จน agent platform คืน token GitHub ระดับ owner ให้ผู้โจมตี

LiteLLM เผยแพร่ root cause analysis เมื่อ 23 ต.ค. 2026 ระบุว่า master key ของ LiteLLM Agent Platform ถูก commit ในไฟล์ opencode.json ขึ้น repo สาธารณะเมื่อ 27 พ.ค. และไม่เคยถูก revoke ผู้โจมตีใช้ key นี้เมื่อ 10 ต.ค. ดึง GitHub CLI token ของ org owner ออกมาจาก API ของ agent จากนั้นใช้ CI ขโมย token ของ maintainer อีก 2 คน แล้วรอ 11 วันจนทีมผ่อนกฎอนุมัติ release ก่อนลงมือ — คำอธิบายนี้แก้ข้อมูลช่วงแรกที่บอกว่า token หลุดจาก log

25 ต.ค. 2569 · อ่าน 6 นาที

การแฮ็ก

Microsoft ชี้ Storm-0940 กลุ่มที่สอดคล้องกับรัฐจีน อยู่เบื้องหลังเหตุ ConnectWise — ใช้เอเจนต์ ARTEX พยายามล็อกอินกว่า 2,250 tenant ของ Microsoft 365 ด้วย app credential ที่ขโมยมา บางรายจากเป้าหมายถึงสิทธิ์ admin ไม่ถึง 3 ชม.

Microsoft Threat Intelligence รายงาน 21 ต.ค. 2026 ว่า Storm-0940 ใช้ ARTEX เฟรมเวิร์ก pentest แบบ multi-agent ที่ต่อ LLM อะไรก็ได้ ทำ recon, password spray และใช้ OAuth app ในทางมิชอบมาตั้งแต่ ก.ย. และเป็นผู้อยู่เบื้องหลังเหตุ ConnectWise Cloud Backup หลังได้ตัวตนของแอปไป เอเจนต์พยายามล็อกอินกว่า 2,250 tenant ด้วยความเร็วถึง 2,900 ครั้ง/นาที และหลายรายได้สิทธิ์ privileged แบบถาวร

23 ต.ค. 2569 · อ่าน 5 นาที